翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク set theory of the real line ： ウィキペディア英語版 set theory of the real line Set theory of the real line is an area of mathematics concerned with the application of set theory to aspects of the real numbers. For example, one knows that all countable sets of reals are null, i.e. have Lebesgue measure 0; one might therefore ask the least possible size of a set which is not Lebesgue null. This invariant is called the uniformity of the ideal of null sets, denoted $non(\backslash mathcal)$. There are many such invariants associated with this and other ideals, e.g. the ideal of meagre sets, plus more which do not have a characterisation in terms of ideals. If the continuum hypothesis (CH) holds, then all such invariants are equal to $\backslash aleph\_1$, the least uncountable cardinal. For example, we know $non(\backslash mathcal)$ is uncountable, but being the size of some set of reals under CH it can be at most $\backslash aleph\_1$. On the other hand, if one assumes Martin's Axiom (MA) all common invariants are "big", that is equal to $\backslash mathfrak$, the cardinality of the continuum. Martin's Axiom is consistent with $\backslash mathfrak>\backslash aleph\_1$. In fact one should view Martin's Axiom as a forcing axiom that negates the need to do specific forcings of a certain class (those satisfying the ccc, since the consistency of MA with large continuum is proved by doing all such forcings (up to a certain size shown to be sufficient). Each invariant can be made large by some ccc forcing, thus each is big given MA. If one restricts to specific forcings, some invariants will become big while others remain small. Analysing these effects is the major work of the area, seeking to determine which inequalities between invariants are provable and which are inconsistent with ZFC. The inequalities among the ideals of measure (null sets) and category (meagre sets) are captured in Cichon's diagram. Seventeen models (forcing constructions) were produced during the 1980s, starting with work of Arnold Miller, to demonstrate that no other inequalities are provable. These are analysed in detail in the book by Tomek Bartoszynski and Haim Judah, two of the eminent workers in the field. One curious result is that if you can cover the real line with $\backslash kappa$ meagre sets (where $\backslash aleph\_1\; \backslash leq\; \backslash kappa\; \backslash leq\; \backslash mathfrak$) then $non(\backslash mathcal)\; \backslash geq\; \backslash kappa$; conversely if you can cover the real line with $\backslash kappa$ null sets then the least non-meagre set has size at least $\backslash kappa$; both of these results follow from the existence of a decomposition of $\backslash mathbb$ as the union of a meagre set and a null set. One of the last great unsolved problems of the area was the consistency of : proved in 1998 by Saharon Shelah. ==See also== * Cichoń's diagram * Cardinal invariant 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「set theory of the real line」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.